1. Abstract computing machines :

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Machine theory,Lambda calculus

رده :
E-BOOK

2. Processes, terms and cycles

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Lambda calculus. ; Rewriting systems (Computer science) ; Machine theory. ;